1. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
پدیدآورنده: Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1265


2. Logical Foundations of Computer Science
پدیدآورنده: \ Sergei Artemov , Anil Nerode (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگرهها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,


3. Logical foundations of computer science :
پدیدآورنده: Sergei Artemov, Anil Nerode (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses,Computer science, Congresses

4. Logical foundations of computer science
پدیدآورنده: / Sergei N. Artemov, Anil Nerode (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Congresses,Logic, Symbolic and mathematical--Congresses,Programa?c?ao laogica (congressos)--larpcal,Ci?encia da computa?c?ao (congressos)--larpcal
رده :
QA
,
75
.
5
,.
L44
,
2007


5. Logical foundations of computer science
پدیدآورنده: Sergei Artemov, Anil Nerode (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses,Computer science, Congresses
رده :
QA75
.
5
.
L43
2013


6. Logical foundations of computer science :
پدیدآورنده: eds.: Anil Nerode ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:

7. Logical foundations of computer science : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6-12, 1997 : proceedigns
پدیدآورنده: Sergei Adian, Anil Nerode )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1234

